System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
741	8 Lab Profile Ensure Program Correctness Programming Languages Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2014-09-23 23:48:23 Logic in computer science Model checking Formal methods Programming language Concurrency Communications protocol Type system Abstraction Computer programming Computing Theoretical computer science Data
742	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language
743	Proc. Natl. Acad. Sci. USA Vol. 77, No. 11, pp, November 1980 Applied Mathematical Science Computers-The software situation* JACOB T. SCHWARTZ Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:57:05 Computer programming Computing Programming paradigms Software Programming language theory Notation Programming language System programming
744	ArgoUML Quick Guide Get started with ArgoUML 0.32 Kunle Odutola Anthony Oguntimehin Linus Tolke Add to Reading List Source URL: argouml-stats.tigris.org Language: English - Date: 2010-12-30 11:36:43 Cross-platform software Installation software Microsoft Windows Java platform ArgoUML Java Web Start Java programming language Unified Modeling Language Windows Installer Computing Software System software
745	vCenter Single Sign-On Programming Guide vCenter Single Sign-On SDK vSphere 6.0 This document supports the version of each product listed and Add to Reading List Source URL: pubs.vmware.com Language: English VMware Computer security EMC Corporation Security Assertion Markup Language Single sign-on Security token WS-Security Access token Security Support Provider Interface System software Software Computing
746	ArgoUML Quick Guide Get started with ArgoUML 0.34 Kunle Odutola Anthony Oguntimehin Linus Tolke Add to Reading List Source URL: argouml-stats.tigris.org Language: English - Date: 2011-12-12 16:46:17 Cross-platform software Installation software Microsoft Windows Java platform ArgoUML Java Web Start Java programming language Unified Modeling Language Windows Installer Computing Software System software
747	Users’ Guide BehavePlus Fire Modeling System VersionDecember 2001 Don Carlton Users’ Guide, Online HELP Development Add to Reading List Source URL: www.frames.gov Language: English - Date: 2014-06-09 14:09:54 Lisp programming language Read–eval–print loop
748	Work In Progress: an Empirical Study of Static Typing in Ruby Mark T. Daly Vibha Sazawal Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-02-03 13:34:59 Type theory Type system Ruby Programming language Strong typing Type safety Variable Object-oriented programming Dynamic programming language Software engineering Computing Programming language theory
749	Communicating Process Architectures 2008 P.H. Welch et al. (Eds.) IOS Press, 2008 c 2008 The authors and IOS Press. All rights reserved. Add to Reading List Source URL: www.transterpreter.org Language: English - Date: 2010-10-21 16:45:43 University of Kent Programming language implementation Stack machines Virtual machines Microprocessors Transputer Occam KRoC Bytecode Computing System software Software engineering
750	SAMPLE CHAPTER DEEP DIVES EDITORS Tomas Petricek Phillip Trelford ● Add to Reading List Source URL: www.manning.com Language: English - Date: 2014-12-16 07:11:32 Functional languages Object-oriented programming Software development methodology MATLAB Programming language Functional programming Computer programming Geographic information system Linear programming Software Computing Programming paradigms

UPDATE